xen: arm: implement share_xen_page_with_privileged_guests
authorIan Campbell <ian.campbell@citrix.com>
Wed, 19 Dec 2012 14:16:27 +0000 (14:16 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 19 Dec 2012 14:16:27 +0000 (14:16 +0000)
commit6ed455a3e90e852fb50d061c795664ee08a8a232
tree3ea3c91e63f4c2e934d6a3890aad023a63e3d70f
parent053012e77aa71f34cb19a3e93c7e7b76f5758c22
xen: arm: implement share_xen_page_with_privileged_guests

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/dummy.S
xen/arch/arm/mm.c